Constutents DB

1. 

   Eq Rewriting:

   1. 
   2. 
      • 

   Impl Rewriting:

   1. 
   2. 
      • 
2. 

   Eq Rewriting:

   1. 
   2. 
      • 

   Impl Rewriting:

   1. 
   2. 
      • 
3. 

   Eq Rewriting:

   1. 
   2. 
      • 

   Impl Rewriting:

   1. 
   2. 
      • 
4. 

   Eq Rewriting:

   1. 

   Impl Rewriting:

   1. 
5. 

   Eq Rewriting:

   1. 

   Impl Rewriting:

   1. 
6. 

   Eq Rewriting:

   1. 
      • 
   2. 
      • 

   Impl Rewriting:

   1. 
      • 
   2. 
      • 
      • 
      • 
      • 
   3. 
      • 
      • 
   4. 
      • 
   5. 
      • 
   6. 
      • 
7. 

   Eq Rewriting:

   1. 
      • 

   Impl Rewriting:

   1. 
      • 
8. 

   Eq Rewriting:

   1. 
      • 
   2. 
      • 
   3. 
      • 
   4. 
      • 
   5. 
      • 

   Impl Rewriting:

   1. 
      • 
   2. 
      • 
   3. 
      • 
   4. 
      • 
   5. 
      • 
9. 

   Eq Rewriting:

   1. 
      • 
   2. 
      • 
   3. 
      • 
   4. 
      • 
   5. 
      • 

   Impl Rewriting:

   1. 
      • 
   2. 
      • 
   3. 
      • 
   4. 
      • 
   5. 
      • 
10. 

    Eq Rewriting:

    1. 
       • 
    2. 
       • 
    3. 
       • 
    4. 
       • 
    5. 
       • 

    Impl Rewriting:

    1. 
       • 
    2. 
       • 
    3. 
       • 
    4. 
       • 
    5. 
       • 
11. 

    Eq Rewriting:

    1. 

    Impl Rewriting:

    1. 
12. 

    Eq Rewriting:

    1. 

    Impl Rewriting:

    1. 
13. 

    Eq Rewriting:

    1. 
    2. 
       • 

    Impl Rewriting:

    1. 
    2. 
       • 
14. 

    Eq Rewriting:

    1. 

    Impl Rewriting:

    1. 
15. 

    Eq Rewriting:

    1. 

    Impl Rewriting:

    1. 
16. 

    Eq Rewriting:

    1. 

    Impl Rewriting:

    1. 

Sentences DB

• Sentence #0
• Sentence #1
• Sentence #2
• Sentence #3
• Sentence #4
• Sentence #5
• Sentence #6
• Sentence #7
• Sentence #8
• Sentence #9
• Sentence #10
• Sentence #11
• Sentence #12
• Sentence #13

Sentence #0

Logic form:

Minimal Constituents:

• 0

Sentence #1

Logic form:

Minimal Constituents:

• 1

Sentence #2

Logic form:

Minimal Constituents:

• 2
• 3

Sentence #3

Logic form:

Minimal Constituents:

• 4

Sentence #4

Logic form:

Minimal Constituents:

• 5

Sentence #5

Logic form:

Minimal Constituents:

• 6

Sentence #6

Logic form:

Minimal Constituents:

• 7

Sentence #7

Logic form:

Minimal Constituents:

• 8

Sentence #8

Logic form:

Minimal Constituents:

• 9

Sentence #9

Logic form:

Minimal Constituents:

• 10

Sentence #10

Logic form:

Minimal Constituents:

• 11

Sentence #11

Logic form:

Minimal Constituents:

• 12
• 13

Sentence #12

Logic form:

Minimal Constituents:

• 14

Sentence #13

Logic form:

Minimal Constituents:

• 15